Современные методы решения задач планирования выполнения пакетов заданий в многостадийных системах характеризуются наличием ограничений на их размерность, невозможностью гарантированного получения лучших результатов в сравнении с фиксированными пакетами при различных значениях входных параметров задачи. В статье автором решена задача оптимизации составов пакетов заданий, выполняющихся в многостадийных системах, с использованием метода ветвей и границ. Проведены исследования различных способов формирования порядков выполнения пакетов заданий в многостадийных системах (эвристических правил упорядочивания пакетов заданий в последовательностях их выполнения на приборах МС). Определен способ упорядочивания пакетов в последовательностях их выполнения (эвристическое правило), обеспечивающий минимизацию общего времени реализации действий с ними на приборах. На основе полученного правила сформулирован способ упорядочивания типов заданий, в соответствии с которым их пакеты рассматриваются в процедуре метода ветвей и границ. Построена математическая модель процесса реализации действий с пакетами на приборах системы, которая обеспечивает вычисление его параметров. Выполнено построение метода формирования всех возможных решений по составам пакетов заданий для заданного их количества. Решения по составам пакетов заданий разных типов интерпретируются в процедуре метода ветвей и границ с целью построения оптимальной их комбинации. Для реализации метода ветвей и границ сформулирована процедура ветвления (разбиения), предполагающая формирование подмножеств решений, включающих пакеты разных составов заданий одного типа. Построены выражения для вычисления нижних и верхних оценок значений критерия оптимизации составов пакетов для сформированных в процедуре ветвления подмножеств. Процедура отсева предполагает исключение подмножеств, нижняя оценка которых не меньше рекорда. Для поиска оптимальных решений применена стратегия поиска в ширину, предусматривающая исследование всех подмножеств решений, включающих различные пакеты заданий одного типа, полученных в результате процедуры разбиения подмножеств заданий, не исключенных из рассмотрения после реализации процедуры отсева. Разработанные алгоритмы реализованы программно, что позволило получить результаты планирования выполнения пакетов заданий в многостадийной системе, являющиеся в среднем на 30 % лучшими, чем для фиксированных пакетов.
Утверждается, что первостепенное значение в решении задачи классификации занимают: нахождение условий разбиения генеральной совокупности на классы, определение качества такого расслоения и верификация модели классификатора. Рассмотрена математическая модель нерандомизированного классификатора признаков, полученных без учителя, когда априори не задается число классов, а лишь устанавливается его верхняя граница. Математическая модель приведена в виде постановки минимаксной условной экстремальной задачи и представляет собой задачу поиска матрицы принадлежности объектов к какому-либо классу. В основе разработки классификатора признаков находится синтез двумерной плотности вероятностей в пространстве координат: классы – объекты. С помощью обобщенных функций вероятностная задача поиска минимума Байесовского риска сведена к детерминированной задаче на множестве нерандомизированных классификаторов. Вместе с тем использование специально введенных ограничений фиксирует нерандомизированные правила принятия решений и погружает целочисленную задачу нелинейного программирования в общую непрерывную нелинейную задачу. Для корректного синтеза классификатора необходимы дисперсионная кривая изотропной выборки и характеристики качества классификации в зависимости от суммарной внутриклассовой и межклассовой дисперсии. Задача классификации может быть интерпретирована как частная задача теории катастроф. В условиях ограниченных исходных данных найден минимаксный функционал, отражающий качество классификации при квадратичной функции потерь. Математическая модель представлена в виде задачи целочисленного нелинейного программирования и приведена с помощью полиномиальных ограничений к виду общей задачи нелинейного непрерывного программирования. Найдены необходимые условия расслоения на классы. Эти условия могут быть использованы как достаточные при проверке гипотезы о существовании классов.
В статье представлена динамическая модель функционирования системы защиты информации (СЗИ) от несанкционированного доступа (НСД) в автоматизированных информационных системах (АИС), созданная на основе аппарата сетей Петри. Разработана математическая модель оценки динамического показателя эффективности функционирования СЗИ от НСД в АИС на основе использования операционного метода преобразования Лапласа и численного метода решения системы линейных алгебраических уравнений (СЛАУ) методом Гивенса (методом вращения). Представлен алгоритм расчета динамического показателя эффективности СЗИ от НСД в АИС с учетом выбранного метода решения СЛАУ, который в дальнейшем может быть использован при разработке комплекса программ анализа, моделирования и оценки динамического показателя эффективности СЗИ от НСД в АИС. Выбор и разработка показателя эффективности функционирования СЗИ от НСД в АИС в данной статье осуществлялся на основе анализа ГОСТ 28195-89.
В статье рассматривается математическая модель информационного взаимодействия космического аппарата с поверхностью Земли. В основе построения модели лежит предложенная автором концепция активного подвижного объекта как сложной подвижной системы, предназначенной для информационного, энергетического или вещественного взаимодействия с окружающей физической средой или с другими подобными системами. Показано, что соответствующая модель может быть представлена в виде интегрального оператора Фредгольма, отображающего множество элементов гильбертова пространства управлений (класса допустимых управляющих воздействий) в гильбертово пространство информационных состояний. Исследованы свойства этого оператора и соответствующего множества достижимости в пространстве информационных состояний. Рассмотрен упрощенный вариант предложенной математической модели — для взаимодействия с дискретной средой (изолированными источниками информации).
Представлены модифицированная математическая модель в классе «хищник жертва» для чумной триады, результаты решения задачи параметрической идентификации и моделирования процессов на популяционном уровне с использованием реальных данных, собранных в ландшафтно-экологическом районе (равнина Акдала) Прибалхашского природного очага чумы (Республика Казахстан).
В статье рассматривается задача формирования цифровой тени процесса перемещения человека. Проведен анализ предметной области, который показал необходимость формализации процесса создания цифровых теней для имитации движений человека в виртуальном пространстве, тестировании программно-аппаратных комплексов, функционирующих на основе действий человека, а также в различных системах опорно-двигательной реабилитации. Выявлено, что среди существующих подходов к захвату движений человека нельзя выделить универсальный и стабильно работающий при различных условиях внешней среды. Разработан метод формирования цифровой тени на основе комбинирования и синхронизации данных из трех систем захвата движений (трекеры виртуальной реальности, костюм motion capture и камеры с использованием технологий компьютерного зрения). Объединение перечисленных систем позволяет получить комплексную оценку положения и состояния человека независимо от условий внешней среды (электромагнитные помехи, освещенность). Для реализации предложенного метода проведена формализация цифровой тени процесса перемещения человека, включающая описание механизмов сбора и обработки данных от различных систем захвата движений, а также этапы объединения, фильтрации и синхронизации данных. Научная новизна метода заключается в формализации процесса сбора данных о перемещении человека, объединении и синхронизации аппаратного обеспечения используемых систем захвата движений для создания цифровых теней процесса перемещения человека. Полученные теоретические результаты будут использоваться в качестве основы для программной абстракции цифровой тени в информационных системах для решения задач тестирования, имитации человека и моделирования его реакции на внешние раздражители за счет обобщения собранных массивов данных о его перемещении.
Современные информационные технологии с высокой эффективностью обеспечивают процессы манипулирования текстами. В первую очередь это хранение, редактирование и форматирование текстов и их составляющих. Добившись значительных успехов в разработке средств бессодержательной компьютерной обработки текстов, исследователи столкнулись с проблемами их содержательной обработки. Поэтому дальнейшие шаги в этом направлении связаны с созданием, в том числе, методов автоматизированного целенаправленного манипулирования текстами с учетом заложенного в них содержания. Проведен анализ работ, посвященных исследованию проблем формального представления текстов и их последующего использования. Несмотря на ряд успешных проектов, задачи по разрешению проблемы соотношений между содержанием текста и его смыслом остаются актуальными. По-видимому, формализация текста общего назначения при сохранении его семантики на данном этапе развития науки не осуществима. Вместе с тем существуют типы текстов, для которых формализация с сохранением существенной части их семантики представляется возможной. Одним из них является регулятивный тип текста, который по существу представляет собой словесно выраженный алгоритм последовательности целенаправленных действий. Его отличают логичность и точность (отсутствие иносказаний), связность и цельность, ясность, понятность (за счет отсутствия эмоциональной окраски и образных средств), доступность (за счет использования специфической терминологии). Иначе говоря, при разработке регулятивных текстов обычно стараются как можно понятнее отображать механизмы описываемых действий. Цель: разработка метода формализации регулятивного текста с сохранением его семантики. Методы: структурная лингвистика, представление объектов в виде онтологии, конструктивные алгоритмы. Использование данного метода демонстрируется на примере описания решения системы алгебраических уравнений. Результаты: метод построения математической модели регулятивного текста. Практическая значимость: применение разработанного метода обеспечивает возможность разработки программных комплексов для построения библиотек отдельных предметных областей, разработки средств оценки регулятивных текстов на предмет их определенности, полноты, связности и других характеристик, а также тренажеров и средств самообучения.
В статье рассматривается вопросы синтеза адаптивных математических моделей применительно к задачам технического диагностирования бортовых радиоэлектронных систем (БРЭС) космических аппаратов (КА). Сформулирована задача синтеза адаптивной модели БРЭС КА в общем виде с использованием преобразования исходной математической структуры в гомологичную структуру меньшей размерности. Представлен подход к синтезу адаптивных моделей на основе использования математического аппарата конечных автоматов. Новизна подхода заключается в том, что гомологичная структура меньшей размерности синтезирована за счет преобразования отношений между элементами множества телеметрируемых (контролируемых) параметров (выходных переменных конечно-автоматной модели). Приведен пример синтеза адаптивной к процессу контроля технического состояния математической модели центрального блока бортовой радиотелеметрической системы. Выполнено оценивание эффективности синтезированной адаптивной модели БРЭС КА по показателю оперативности путем решения задачи «китайского почтальона».
Крупногабаритные трансформируемые конструкции космического базирования доставляются на орбиту в сложенном состоянии, в следствии чего встает задача их надежного раскрытия. В данной статье предлагается использовать в качестве исполнительного органа привод в виде электрической машины. Применение данного вида актюатора позволит управлять процессом раскрытия.
В качестве крупногабаритной трансформируемой конструкции рассматривается рефлектор космического базирования. В настоящее время перевод аппаратов из сложенного состояния в рабочее осуществляется поэтапно. В работе рассмотрено совместное выполнение двух этапов: разворот корневого звена спицы и выдвижение промежуточного звена. Разработаны математические модели для вращательного и поступательного видов движений, учитывающие такие параметры как изгиб и сжатие спицы. Проведено моделирование и проанализированы результаты различных вариантов совместного раскрытия элементов рефлектора: использование двигателя на каждую из компонент движения и использование центробежной силы для выдвижения спицы.
Рассмотрено применение алгоритма коррекции параметров структуры управления. Одним из важных достоинств алгоритма является возможность построения управления в режиме реального времени. Его можно использовать для вычисления опорного управления в алгоритмах, основанных на принципе двухканальности.
В статье впервые предложена нелинейная многосвязная мультиагентная модель накопления знаний в научной школе в результате самоорганизации процесса обмена научной информацией. Выделены три группы агентов (научных сотрудников) как носителей знаний, которые нелинейно взаимодействуют между собой и контролируют свою деятельность по накоплению знаний. При этом рассматриваются два режима процесса обмена научной информацией агентами: свободный (в форме дискуссий) и деловой (в форме выполнения совместного проекта). Предложенные модели носят абстрактно-обобщающий характер, представляют собой систему нелинейных дифференциальных уравнений, описывающих процессы накопления знаний в результате обмена научной информацией с соблюдением сложившихся структурных отношений между агентами научной школы. Данная статья преследует цель раскрытия сущности сложного механизма процесса накопления знаний в научной школе за счет различных форм активного взаимодействия агентов, представляющих собой единство «человек-ЭВМ-база знаний».
Рассматриваются основные способы применения интеллектуальных методов и алгоритмов, синтезированных на их основе, представления данных сетевого мониторинга для управления рисками информационной безопасности защищенных мультисервисных сетей (ЗМС). Разработана и исследована математическая модель интеллектуального представления данных для анализа и оценки риска информационной безопасности ЗМС.
1 - 11 из 11 результатов